% prelude.tex
%   - titlepage
%   - dedication
%   - acknowledgments
%   - table of contents, list of tables and list of figures
%   - nomenclature
%   - abstract
%============================================================================


\clearpage\pagenumbering{roman}  % This makes the page numbers Roman (i, ii, etc)


% TITLE PAGE
%   - define \title{} \author{} \date{}
\title{\large{\textrm{Trace Signal Selection \\ for Post-Silicon Debug}}}
\author{\large{Min Li}}
\date{\small{2014}}
%   - The default degree is ``Doctor of Philosophy''
%     (unless the document style msthesis is specified
%      and then the default degree is ``Master of Science'')
%     Degree can be changed using the command \degree{}
\degree{\small{Doctor of Philosophy}}
%   - The default is dissertation, unless the document style
%     msthesis was specified in which case it becomes thesis.
%     If msthesis is specified for the MS margins, you can
%     still have a dissertation if you specify \disseration
%\disseration
%   - for a masters project report, specify \project
%\project
%   - for a preliminary report, specify \prelim
%\prelim
%   - for a masters thesis, specify \thesis
%\thesis
%   - The default department is ``Electrical Engineering''
%     The department can be changed using the command \department{}
\department{\small{Electrical and Computer Engineering}}
%   - once the above are defined, use \maketitle to generate the titlepage
\maketitle

% COPYRIGHT PAGE
%   - To include a copyright page use \copyrightpage
\copyrightpage

% DEDICATION
\begin{dedication}
To my wonderful parents Xiaoti Sun and Huiwu Li \\
\end{dedication}

% ACKNOWLEDGMENTS
\begin{acknowledgments}
It is definitely a rewarding journey for me for the past five years at
Madison. It all started when I transferred to Madison and first met my advisor, Prof. Azadeh
Davoodi. I would like to thank her for giving me the opportunity to work
with her and continue my graduate studies. I am deeply grateful to her for
her mentorship, support, and advise that I will not soon forget. As an advisor, she guided me through a lot of difficulties that I encountered in my research. And more importantly, I learned many important life lessons which I believe will benefit me for the rest of my life.
\end{acknowledgments}

% CONTENTS, TABLES, FIGURES
\newpage
\pdfbookmark[chapter]{\contentsname}{toc}
\tableofcontents
\listoftables
\listoffigures
\listofalgorithms
\addcontentsline{toc}{chapter}{List of Algorithms}
%\listoftodos
%\addcontentsline{toc}{chapter}{List of Todos}

%========================Abbreviations===============================
% ABBREVIATIONS
\begin{abbreviation}
\begin{description}
\item{\makebox[0.75in][l]{ATPG}} Automatic Test Pattern Generation
\item{\makebox[0.75in][l]{CAD}}  Computer-aided Design
\item{\makebox[0.75in][l]{CUD}}  Circuit under Debug
\item{\makebox[0.75in][l]{DFD}}  Design for Debug
\item{\makebox[0.75in][l]{EDA}}  Electronic Design Automation
\item{\makebox[0.75in][l]{ELA}}  Embedded Logic Analyze
\item{\makebox[0.75in][l]{FPGA}} Field-programmable Gate Array
\item{\makebox[0.75in][l]{ILP}}  Integer Linear Programming
\item{\makebox[0.75in][l]{MMTS}} Multi-mode Trace Signal Selection
\item{\makebox[0.75in][l]{MSRR}} Multi-mode State Restoration Ratio
\item{\makebox[0.75in][l]{PI/PO}}  Primary Input/Primary Output
\item{\makebox[0.75in][l]{PSV}}  Post-Silicon Validation
\item{\makebox[0.75in][l]{SA}}   Simulated Annealing
\item{\makebox[0.75in][l]{SI}}   Signal Integrity
\item{\makebox[0.75in][l]{SMTS}} Single-mode Trace Signal Selection
\item{\makebox[0.75in][l]{SOC}}  System on Chip
\item{\makebox[0.75in][l]{SRR}}  (Single-mode) State Restoration Ratio
\item{\makebox[0.75in][l]{VLSI}}  Very-Large-Scale Integration
\end{description}
\end{abbreviation}

%========================Nomenclatures===============================
% NOMENCLATURE
\begin{nomenclature}
%\begin{description}%[style=multiline,leftmargin=3cm,font=\normalfont]
\begin{description}[leftmargin=!,labelwidth=\widthof{\bfseries The longest label}]
\item[Observation Window]  A time frame within which the values of trace
  signals are collected by the trace buffer

\item[Observability/Visibility] Accessibility to the signals inside silicon
  prototype

\item[Pre/Post-Silicon]  Before/After silicon is fabricated

\item[Silicon Prototype] A small number of fabricated chips used for
  validation before mass production

\item[State Elements]  Flipflops

\item[State Restoration] The process of restoring the values 
    of not-traced state elements based on the values of some traced state elements.

\item[Trace Buffer] A design-for-debug hardware which can record the values
    of several state elements for a few thousands of cycles.

\item[Trace Signal Selection] Select a sub-set of state elements to record their values
  through on-chip trace buffer.

%\item[\ontoptext[3pt]{\text{Visibility/}}{\text{Observability}}] Accesibility to the signals inside silicon prototype
 
\item[{0,1,X}] Signal value of 0,1 or unknown
\end{description}
%\end{align}
\end{nomenclature}

\advisorname{Azadeh Davoodi}
\advisortitle{Associate Professor}

\begin{abstract}
  \input{abstract}
\end{abstract}

\clearpage\pagenumbering{arabic} % This makes the page numbers Arabic (1, 2, etc)